منابع مشابه
Mobile Resource Guarantees Evaluation Paper
This paper summarises the main outcomes of theMobile Resource Guarantees (MRG) project, a three year project funded by the EC under the FET proactive initiative on Global Computing, and discusses follow-up work in new projects that will build on these results.
متن کاملconditional copula-garch methods for value at risk of portfolio: the case of tehran stock exchange market
ارزش در معرض ریسک یکی از مهمترین معیارهای اندازه گیری ریسک در بنگاه های اقتصادی می باشد. برآورد دقیق ارزش در معرض ریسک موضوع بسیارمهمی می باشد و انحراف از آن می تواند موجب ورشکستگی و یا عدم تخصیص بهینه منابع یک بنگاه گردد. هدف اصلی این مطالعه بررسی کارایی روش copula-garch شرطی در برآورد ارزش در معرض ریسک پرتفویی متشکل از دو سهام می باشد و ارزش در معرض ریسک بدست آمده با روشهای سنتی برآورد ارزش د...
Project Evaluation Paper: Mobile Resource Guarantees
The Mobile Resource Guarantees (MRG) project has developed a proof-carrying-code infrastructure for certifying resource bounds of mobile code. Key components of this infrastructure are a certifying compiler for a high-level language, a hierarchy of program logics, tailored for reasoning about resource consumption, and an embedding of the logics into a theorem prover. In this paper, we give an o...
متن کاملChapter 1 Mobile Resource Guarantees Evaluation Paper
This paper summarises the main outcomes of the Mobile Resource Guarantees (MRG) project, which focused on a proof-carrying-code (PCC) infrastructure for resources to be applied to mobile code. MRG was a three year project funded by the EC under the FET proactive initiative on Global Computing. We give an overview of the projects’ results, discuss the lessons learnt from it and introduce follow-...
متن کاملThe option value of government guarantees in infrastructure projects
The participation of private capital in public infrastructure investment projects has been sought by many governments who perceive this as a way to overcome budgetary constraints and foster economic growth. For some types of projects, this investment may require government participation in the form of project guarantees in order to reduce the risk to the private investor, and as a consequence, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Boston Medical and Surgical Journal
سال: 1888
ISSN: 0096-6762,1533-4406
DOI: 10.1056/nejm188803011180902